proof of program
英 [pruːf ɒv ˈprəʊɡræm]
美 [pruːf əv ˈproʊɡræm]
【计】程序证明
双语例句
- This proof will verify that for any given set of lines, the program will terminate.
此证明将确认对于任意给定的一组行，程序都会终止。 - Proof through the state predicates can reflect the state of program execution.
根据状态谓词进行证明，能够反映出程序执行的状态。 - The proof of program and design of the chamber can be made by the method of combining physical test with computer simulation.
采用物理试验与计算机模拟相结合的方法进行方案论证和技术设计。 - Proof of Correctness of C~ (++) Program by HOARE Logic
用HOARE逻辑证明C~（++）程序的正确性 - Proof of Correctness of Program
程序的正确性证明 - This paper presented a new method of the proof of program correctness based on syntax trees.
提出了一种新的基于语法树的程序正确性验证方法（STM方法）。 - The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。 - Proof of program correctness and a method of getting loop invariant
程序正确性证明及循环不变式的寻找方法 - Practice was full proof that, by means of establishing micro tension controlling program in within middle rolling mill group, the some problems that have arisen in production line of bar could be nicely solved.
实践证明，在中轧机组增设微张力控制环节能够有效的解决现场出现的问题。 - A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法 - Proof generation capabilities of proof construction systems are based on type theory. Type systems allow us to express program properties that are automatically verified.
证明系统的能力取决于类型系统，因而类型系统可以表达程序的性质，并自动进行验证。 - Proof of program correctness based on syntax trees
基于语法树和程序正确性验证研究 - The most widely used method in the formal correctness proof is the Hoare method. It uses inductive formulas characterizing input/ output relationships of programs or program segments.
在正确性证明中最广泛应用的方法是Hoare方法，它利用推导公式来描述程序或程序片断的输入/输出关系。 - The Standard Proof and Formal Derivation of the Complex Algorithm Program
复杂算法程序的规范证明和形式推导 - Method of Processing Proof Strength of Non-Proportional by Computer Program
规定非比例延伸强度计算机处理方法 - Moreover, the proof of semantic equivalence of the program is often difficult to understand and to read.
此外，程序的语义等价性证明也往往是难以理解和阅读的。 - The satisfiability of logical formula in proof of program
程序正确性证明中逻辑公式的可满足性 - Before running the program, a host will check the validity of the proof to evaluate the safety of the program.
主机在运行程序前检查程序携带的安全性证明的正确性。 - The analysis results sufficiently proof both reliability of the method and correctness of the program.
计算结果与影响因素分析充分证明无网格算法的可靠性和所编制程序的正确性，在理论上和应用上都具有一定的价值。 - Currently, As Formal Method and Proof Theory of Program Correctness is unable to become a practical method, Performance Test of Software is still an effective mean of software quality guaranty quite a while in the future.
在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件性能测试在将来相当一段时间内仍然是软件质量保证的有效手段。